Coalition Task Support Using I-X and <I-N-C-A>
نویسنده
چکیده
I-X is a research programme with a number of different aspects intended to create a well-founded approach to allow humans and computer systems to cooperate in the creation or modification of some product such as a design, physical entity or plan i.e. it supports cooperative synthesis tasks. The IX approach involves the use of shared models for task-directed cooperation between human and computer agents who are jointly exploring (via some, perhaps dynamically determined, process) a range of alternative options for the synthesis of an artifact such as a design or a plan (termed a product). The (Issues Nodes Constraints Annotations) ontology is used to represent a specific artifact as a set of constraints on the space of all possible artifacts in an application domain. It can be used to describe the requirements or specification to be achieved and the emerging description of the artifact itself. It can also describe the (perhaps dynamically generated) processes involved. I-X and | have been applied to Coalition Task Support.
منابع مشابه
Characterization of Lie higher Derivations on $C^{*}$-algebras
Let $mathcal{A}$ be a $C^*$-algebra and $Z(mathcal{A})$ the center of $mathcal{A}$. A sequence ${L_{n}}_{n=0}^{infty}$ of linear mappings on $mathcal{A}$ with $L_{0}=I$, where $I$ is the identity mapping on $mathcal{A}$, is called a Lie higher derivation if $L_{n}[x,y]=sum_{i+j=n} [L_{i}x,L_{j}y]$ for all $x,y in mathcal{A}$ and all $ngeqslant0$. We show that ${L_{n}}_{n...
متن کاملAmitraz Poisoning; A case study
A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...
متن کاملبررسی ساختار KCr3(SO4)2(OH)6 سه ظرفیتی با پرتو X
The grecn basic ; va lcnt·c KCr1(SQ,j)z(OH)(, i, a hydra ted chromium ,ul fatc which b ~t rucllLra ll y 'imilar to jaro~i t c. This cumpound wa~ flr~ t ~ynth c.~il.ed hy MJt~c h c rli ch ( 1 ~61 / 1240) ill . howevcr , ils X-ra) s tudJ e~ were unllc rlakcn by thc author. In th is stully. the cuhcdral cry)lta ls of KCr1(S04h(OH)" werc ~}'n lh c.,il.cll anll eX:.JInin cli hy o~cillatl ry cr...
متن کاملI-P² - Intelligent Process Panels to Support Coalition Operations
I-X is a research programme with a number of different aspects intended to create a well-founded approach to allow humans and computer systems to cooperate in the creation or modification of some product or products such as documents, plans or designs. I-X may also be used to support more general collaborative activity. The I-X research draws on earlier work on O-Plan (Tate et.al., 1998; Tate e...
متن کاملLie $^*$-double derivations on Lie $C^*$-algebras
A unital $C^*$ -- algebra $mathcal A,$ endowed withthe Lie product $[x,y]=xy- yx$ on $mathcal A,$ is called a Lie$C^*$ -- algebra. Let $mathcal A$ be a Lie $C^*$ -- algebra and$g,h:mathcal A to mathcal A$ be $Bbb C$ -- linear mappings. A$Bbb C$ -- linear mapping $f:mathcal A to mathcal A$ is calleda Lie $(g,h)$ -- double derivation if$f([a,b])=[f(a),b]+[a,f(b)]+[g(a),h(b)]+[h(a),g(b)]$ for all ...
متن کامل